Zoolog Y: Weiss and Rossetti

1 Quine, W. V., "New Foundations for Mathematical Logic," American Mathematical Monthly, 44, 70-80 (1937). 2 Curry, H. B., review of same, Zentr. Mathematik, 16, 193 (1937). 3 Rosser, Barkley, "On the Consistency of Quine's 'New Foundations for Mathematical Logic,' "J. Symbolic Logic, 4, 15-24 (1939); Rosser, Barkley, and Wang, Hao, "Non-Standard Models for Formal Logics," Ibid., 15, 113-129 (1950). 4 Wang, Hao, "A Formal System of Logic," Ibid., 25-32. ' Quine, W. V., Mathematical Logic, New York, 1940; Cambridge, Mass., 1947, 1951. 6 Whitehead, A. N., and Russell, Bertrand, Principia Mathematica, Cambridge, England, 1910-1913; 3 vols. 7 Wiener, Norbert, "A Simplification of the Logic of Relations," Proc. Camb. Phil. Soc., 17, 387-390 (1912-1914). 8 Tarski, Alfred, "Einige Betrachtungen uber die Begriffe der w-Widerspruchsfreiheit und der w-Vollstindigkeit," Monatsh. Mathematik u. Physik, 40, 97-112 (1933); Beth, E. W., "Une d&nonstration de la non-contradiction de la logique des types au point de vue fini," Nieuw Archief voor Wiskunde, 19, 59-62 (1936). 9 Rosser, Barkley, "Definition by Induction in Quine's 'New Foandations for Mathematical Logic,' " J. Symbolic Logic, 4, 80-81 (1939); "The Axiom of Infinity in Quine's New Foundations," Ibid., at press; Quine, W. V., "On the Axiom of Infinity, c-Inconsistency, and Non-Standard Models," Ibid., pending.